منابع مشابه
Triaging Shakespeare
Dear Ben, I just got the reviews back on my grant proposal for Hamlet, the new play I was telling you about. I applied to the National Institutes of Health in America this time—the RFA said they’re interested in creative new ideas and all that rot but they’re just as conservative as here in England. It wasn’t even discussed! I’ll wager it was those scoundrels Beaumont and Fletcher that sank it....
متن کاملSlotted-Circus : A Generic UTP framework for discretely-timed Circus
3 Slotted-Circus (Formal Definition) 10 3.1 Observational Variables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 3.2 Required Definitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 3.2.1 Accepted and Refused Events and Equivalent Traces . . . . . . . . . . . . . 11 3.2.2 Null Slots . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ...
متن کاملMelville / Shakespeare
That Melville's Moby Dick contains nearly measureless references to the reading of Shakespeare is an old story featuring the whaling epic's persistent Shakespearean verbal echoes, the composition and sequencing of scenes, and the construction of Ahab as a tragic hero-villain, his shipmen as "knights and squires" and heroic commoners all caught in a tragic drama of the excesses and shortcomings ...
متن کاملSpecifying Confidentiality in Circus
This paper presents an approach for extending the Circus formalism to accommodate information flow security concerns. Working with the semantics of Circus, we introduce a notation for specifying which aspects of Circus processes are confidential and should not be revealed to low-level users. We also describe a novel procedure for verifying that a process satisfies its confidentiality properties.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Documenta
سال: 2019
ISSN: 0771-8640
DOI: 10.21825/doc.v19i3.11382